منابع مشابه
Metagene: a C++ meta-program generation tool
The C++ language offers a two layer evaluation model. Thus, it is possible to evaluate a program in two steps: the so-called static and dynamic evaluations. Static evaluation is used for reducing the amount of work done at execution-time. Programs executed statically (called metaprograms) are written in C++ through an intensive use of template classes. Due to the complexity of these structures,...
متن کاملNext Generation Sequencing: a Tool for This Generation of Nephrologists
The emergence of next generation sequencing (NGS) techniques has made the sequencing of whole genomes, transcriptomes, and epigenomes faster and more readily available than previous methods such as Sanger sequencing, which was developed in the 1970s. It is now 10 years since NGS began to revolutionise biological and medical research. Sequencing of RNA provides insights into up or downregulated ...
متن کاملJSXM: A Tool for Automated Test Generation
The Stream X-machine (SXM) is an intuitive and powerful modelling formalism that extends finite state machines with a memory (data) structure and function-labelled transitions. One of the main strengths of the SXM is its associated testing strategy: this guarantees that, under well defined conditions, all functional inconsistencies between the system under test and the model are revealed. Unfor...
متن کاملGENR8 - A Design Tool for Surface Generation
GENR8 is an architect’s design tool that generates surfaces. It is powerful and innovative because it fuses expressively powerful universes of growth languages with evolutionary search. Developed via the API of Alias|Wavefront’s Maya, it combines 3D map L-systems, that are extended to an abstract physical environment, with Grammatical Evolution. GENR8 addresses key issues arising from exploitin...
متن کاملDiPro - A Tool for Probabilistic Counterexample Generation
The computation of counterexamples for probabilistic model checking has been an area of active research over the past years. In spite of the achieved theoretical results in this field, there is no freely available tool that allows for the computation and representation of probabilistic counterexamples. We present an open source tool called DiPro that can be used with the PRISM and MRMC probabil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2019
ISSN: 2156-5570,2158-107X
DOI: 10.14569/ijacsa.2019.0100763